Deductive database

Results: 22



#Item
11Prolog / Programming paradigms / Logic programming / Append / Definite clause grammar / Deductive database / Partial evaluation / Prova / Annotation / Software engineering / Computing / Computer programming

The Ecce and Logen Partial Evaluators and their Web Interfaces Michael Leuschel ∗ Dan Elphick Mauricio Varea

Add to Reading List

Source URL: eprints.soton.ac.uk

Language: English - Date: 2009-12-08 12:53:56
12RDF / Web standards / SPARQL / Triplestore / Jena / Web Ontology Language / Sesame / RDF Schema / Datalog / Semantic Web / Data management / Computing

Some experiments on the usage of a deductive database for RDFS querying and reasoning Giovambattista Ianni1,2 , Alessandra Martello1 , Claudio Panetta1 , and Giorgio Terracina1 1

Add to Reading List

Source URL: ceur-ws.org

Language: English - Date: 2007-11-28 05:44:56
13Computing / Hierarchical task network / Planner / Deductive database / Domain / Database / Actor model / Hierarchy / Automated planning and scheduling / Artificial intelligence / Database management systems

THE OBJECT-BASED HIERARCHICAL TASK-NETWORK PLANNING SYSTEM IN DEDUCTIVE DATABASE FRAMEWORK JITRATDA TEPSUWAN

Add to Reading List

Source URL: www.li.mahidol.ac.th

Language: English - Date: 2005-03-22 05:08:16
14Database management systems / Prolog / Constraint programming / Programming paradigms / Logic programming / Temporal database / Deductive database / Visual Prolog / Software engineering / Computing / Computer programming

Abstract Development of a pmctzcal framework for commonsense reasoning about temporal relations in databases is the m a n task of this research effort Logc programming is the chosen computational paradigm and commerciall

Add to Reading List

Source URL: etd.ncsi.iisc.ernet.in

Language: English - Date: 2012-05-03 01:00:53
15Data / Database theory / Computer languages / Database management systems / Datalog / SQL / Deductive database / Prolog / Null / Data management / Computing / Query languages

Technical report of January 15, 2011 (with minor edits as of March 26, [removed]A condensed version appears as a chapter in Tim Furche, Georg Gottlob, Giovanni Grasso, Oege de Moor, and Andrew Sellers (eds.), Datalog 2.0.

Add to Reading List

Source URL: cs.jhu.edu

Language: English - Date: 2011-03-26 07:42:19
16Data / Query languages / Database theory / Relational model / Computer languages / Datalog / Deductive database / SQL / Expressive power / Data management / Computing / Database management systems

Contents Preface PART A 1

Add to Reading List

Source URL: webdam.inria.fr

Language: English - Date: 2010-02-12 06:45:45
17Logic / Datalog / Deductive database / Prolog / Recursion / SQL / Logic programming / Lambda calculus / Function / Computing / Mathematics / Query languages

P A R T D Datalog and Recursion

Add to Reading List

Source URL: webdam.inria.fr

Language: English - Date: 2010-02-12 06:45:46
18Data management / Datalog / Topic Maps / Prolog / Deductive database / Catalani / Lucca / SQL / Logic programming / Computing / Query languages / Software engineering

tolog for TMQL? http://www.ontopia.net 1

Add to Reading List

Source URL: www.isotopicmaps.org

Language: English - Date: 2003-05-06 06:28:21
19Computing / Declarative programming / Logic programming / Constraint programming / Deductive database / Programming paradigms / Software engineering / Computer programming

International Workshop on Functional and (Constraint) Logic Programming (WFLP[removed]Kiel, Germany, September 13-15, 2001 CALL FOR PAPERS Program Committee Slim Abdennadher

Add to Reading List

Source URL: www.informatik.uni-kiel.de

Language: English - Date: 2001-05-16 04:24:09
20Database management systems / Data / Computer languages / Datalog / Database theory / .QL / Deductive database / SQL / Data integration / Query languages / Data management / Computing

Datalog and Emerging Applications: An Interactive Tutorial Shan Shan Huang Todd J. Green Boon Thau Loo

Add to Reading List

Source URL: netdb.cis.upenn.edu

Language: English - Date: 2011-05-20 10:49:44
UPDATE